#ifndef __DEBUG_H_
#define __DEBUG_H_

#include "rtx_inc.h"
#include "string.h"

/*
 * Prototypes
 */
VOID debug_out_char( CHAR c );
SINT32 debug_out_string( CHAR* s );
SINT32 debug_out_int( UINT32 num );
/*
BOOLEAN debug_char_present();
CHAR debug_in_char();
CHAR* debug_in_string();
*/
#endif
